proof assistant
automated theorem proving
Computer-assisted proof
QED manifesto
Formal verification
satisfiability modulo theories
Metamath
– a language for developing formalized mathematics accompanied by a proof checker for this language and several databases of thousands of proved theorems.
/suto3/google.icon
proof assistant
image
proof assistant
define
proof assistant
wikipedia
proof assistant
weblio
proof assistant
kotobank
proof assistant
jisho
proof assistant